die Maurer und die Steinhauer. Und diese wiederum kauften davon das Bauholz, die Steine und was sonst noch für die Ausbesserung des Tempels gebraucht wurde.