Beim Gewölbebau setzten die Baumeister den Schlussstein als erstes.

Lehrstuhl für Baugeschichte, Historische Bauforschung und Denkmalpflege / TU München