Normierter_Raum loading ...