Révai Miklós Gimnázium — high school in Győr, Hungary