Feestelijke opening Mariapoort na restauratie