Sonderheft: Industrie- und Gewerbebauten 2023 | Bautechnik