Editorial: Bautechnik 9/2020 | Bautechnik