08.00.0 Gew. v. Steinen u. Erden, sonst. Bergbau