[900] Steinfall, das den Bergmann in der Grube gefährdende Herabfallen von Gestein.
Adelung-1793: Steinfall, der