Bahnhofshalle Ostende.