Das Bergwerkseigentum als Gegenstand der Zwangsvollstreckung in das unbewegliche Vermögen