Matthias Church is on castle hill in Buda. It was having its roof tiles replaced.