St. Michael’s Church, Mondsee, Austria