"3"^^ . . . . . . . . "Erhoehungssatz"@de .