Laut Gesetz ist eine Mietminderung grundsätzlich möglich, wenn aufgrund des Baulärms eine erhebliche Beeinträchtigung erfolgt.