Der Stein, den die Bauleute verworfen haben, ist zum Eckstein (W. Haupt der Ecke, d. h. Eck- und Hauptstein; ein Ausdruck, der nur hier vorkommt) geworden.