[675] Berggruß, Gruß der Bergleute untereinander; örtlich verschieden, am häufigsten: »Glück auf!« (s. d.).
Adelung-1793: Berggrūß, der
Pierer-1857: Berggruß