The long mining accident at Heiligensee