die Maurer und die Steinhauer. Außerdem kauften sie Holz und Bausteine und was sonst noch gebraucht wurde, um Risse und andere Schäden auszubessern.