Euklidischer_Vektorraum loading ...