obere Begrenzung ("Decke") eines Grubenraumes
[siehe auch Sohle]