Roman Catholic church building in Constance, Baden-Württemberg, Germany, formerly the cathedral of the Diocese of Constance