Title: Das Bergwerkseigentum und seine Abgrenzung vom Grundeigentum