Baumeisterarbeiten im Zuge der Kasino-Sanierung.