Arbeitsmedizin im 18. Jahrhundert. Werksarzt und Arbeiter im Quecksilberbergwerk Idria