Nachbarrechtlicher Ausgleichsanspruch wegen beeinträchtigter Nutzungsmöglichkeit eines Wohnhauses durch Steinkohlebergbau: Wesentlichkeit wiederkehrender Beeinträchtigungen durch Erderschütterungen; Bemessung des Ausgleichs