Gewerberaummiete: Minderung wegen Baustellenarbeiten