Feestelijke opening Hippolytushal