Torus/Produktmannigfaltigkeit/Definition