Stav dette: Deutsches Bergwörterbuch