The German term "Bergwerk" matches the English term "mine"