Die Verlegung der Hohldielendecke erforderte die Beistellung eines Krans, mit dem die Deckenelemente genau verlegt werden konnten.