Arsenic Wenzel mine, Oberwolfach,