Wilhelm-Ernst-Gymnasium — former high school (gymnasium) in Weimar, Thuringia, Germany (1712–1953)