"gruvehåndverker" er et 15-bokstavers substantiv som brukes som synonym for "bergmester". bergmester betyr: En person med håndverksmessig bergverksarbeid.