Täglich Ruhestörung durch Musik - wie gehts weiter

Hallo,

Mieter A stört täglich durch extrem laute Musik, die die Zimmerlautstärke weit überschreitet.
Die Ausmaße sind bis zu 4 Stunden Lärm am Stück, dann eine halbe Stunde Pause und weiter geht's.
Tagsüber, während der Ruhezeiten und auch Nachts, je nach dem.

Mieter B hat mehrmals versucht, die Situation durch Gespräche zu klären. Mieter A gibt sich allerdings uneinsichtig, sagt Ja und Amen aber ändert nichts an seinem Störverhalten.

Nach andauerndem Lärm hat Mieter B bereits die Polizei eingeschaltet, die Mieter A verwarnt und beim zweiten Störfall auch ein Aktenzeichen angelegt hat.
Trotzdem tritt keine Besserung ein.

Lärmprotokoll wird bei der Wohnungsgesellschaft eingereicht. Mieter A gilt dort sowieso schon als Rechtsfall und wird vom Anwalt der Gesellschaft abgemahnt.
Die Gesellschaft bittet Mieter B, regelmäßig weitere Lärmprotokolle einzureichen, sofern Mieter A sein verhalten nicht ändert.

Zwei Tage Ruhe. Danach geht es wieder von vorne los mit dem Krach.

Offensichtlich lässt Mieter A sich weder durch gute Worte, noch durch Polizei oder Vermieter von seinem störenden Verhalten abbringen.

Was können Wohnungsgesellschaft und Mieter B tun?
Mietminderung für Mieter B?
Kündigung für Mieter A durch Wohnungsgesellschaft?

Das neue Lärmprotokoll der letzten 10 Tage umfasst 16 individuelle Störungen, mindestens 30 Minuten pro Eintrag.
Eine Minderung der Wohnqualität für Mieter B besteht definitiv.

Es gibt auch Beschwerden von anderen Nachbarn, diese liegen allerdings bislang leider nur mündlich bei der Wohnungsgesellschaft und (laut eigenen Angaben) auch bei Mieter A vor.

Wie wird nun weiter vorgegangen?

Vielen Dank im Voraus für weitere Informationen
Lg

-----------------
""