Wie hieß der letzte Bergdoktor?