Walter Hostert — German educationist and historian