Former Romanesque church of the important Reichenau Benedictine monastery, and last resting place of Emperor Charles III ("Charles the Fat")