Gottfried Heilingbrunner, Pädagoge, nach welchem die Schule benannt wurde