für die Handwerker, die Bauleute und die Maurer und für den Ankauf von Holz und von Bruchsteinen, um das Haus auszubessern.