Translation of "Bergwerkseigentum" in English