Wiederherstellung und Sanierung der Bühnentechnik im Opernhaus nach dem Hochwasserschaden