Der Begriff Bergwerkseigentum kommt dem Recht der wirtschaftlichen Nutzung eines Grundes gleich.