Also wenn du mir schon mit §-Bloggern kommst:
http://www.mietrechtslexikon.de/a1lexikon2/l1/laerm.htm
Da geht es allgemein um Lärm. Unter anderem gibt es da auch was über Ruhezeiten:
Zitat:
Ruhezeit: Der Wohnungsmieter ist mietrechtlich verpflichtet, zwischen 22.00 Uhr abends und 7:00 Uhr morgens sowie von 13.00 bis 15.00 Uhr ruhestörenden Lärm, verursacht durch Zimmerlautstärke überschreitendes Radiohören und Herumtrampeln, zu unterlassen (BGH V ZB 11/9 .
|
Eine Waschmaschine im Schleudergang ist wohl lauter als Zimmerlautstärke.