Bergmann als Jedermann: „Das Bergwerk zu Falun“ in Salzburg