Mauritiusrotunde
Geschichte