Luxembourg, Luxembourg City, Benediktiner abbey Neumuenster and St. Jean church, St Michael's church on the hill