Heinrich-Mann-Gymnasium Erfurt, Staatliches Gymnasium "Zur Himmelspforte"