die meisten Rohre sind neu verlegt, Verkleidungen werden gebaut, aber die neusten Nachrichten verheißen nichts Gutes. Im Rahmen des Brandschutzes müssen die Deckenplatten getauscht werden und die Holzverkleidungen an den Wänden entfernt werden. Also noch viel Arbeit.
