Beschädigte Dachziegel der Halle wurden in Streifen geschnitten und dekorativ in den Terrazzoboden eingegossen. Andere finden sich als Ziegelmehl im Putz wieder.
Bildnachweis: Adrian Deweerdt
