Hello Joost,

Sorry, I may have made a mistake in the node type chosen. The emergency entrance is now here: https://www.openstreetmap.org/node/12299719006.

The main entrance is represented by this point: https://www.openstreetmap.org/edit?node=12299719011#map=20/50.7487025/3.2206927