Kompakte symplektische Gruppe