Betrag mit Norm ersetzt für Vektorlänge