This 13th century church was turned into a mosque during the Ottoman occupation but was severely damaged in 1686, when Buda was retaken from the Turks. Franciscan monks subsequently built a Baroque tower and church, but after World War II, most of it was pulled down (I don't know why).