Noteworthy buildings include the Church of St. Thomas (late 15th cent.), which has housed the tomb of Bach since 1950; the Gewandhaus, built in 1884 to replace the earlier structure; the 13th-century Pauline Church; Auerbach's Keller (16th cent.), an inn in which a scene of Goethe's Faust is set; the old city hall (1558); the old stock exchange (1682); the Church of St. John (17th cent.); the large main railroad station; the former German supreme court building (which now houses an art museum); and the opera (1960). In addition to the university (est. 1409), the city has institutes of applied radioactivity and stable isotopes.