Ein Hilfsbau, der auf Grund von Bergwerkseigentum rechtmäßig angelegt worden ist, gilt als dessen wesentlicher Bestandteil. Eine Eintragung in das Grundbuch ist nicht erforderlich.