Bauen war im Juli gegenüber Vorjahr teurer