I operan “ Der Haideschacht " ärhandlingen