Mainz (Rhineland-Palatinate, Germany). St. Michael (Carthusian monastery)