"Hans Heyting" in Borger