Grubenhof Johannisschacht (Johannaschacht?)