Richter, Gustav Professor at Weimar Gymnasium