Produkt von differenzierbaren Mannigfaltigkeiten/2/Definition/Begriff