. "Quasi-Norm"@de . "1"^^ . . . . . . .