Hohl-Sprung mine 4672