"3"^^ . . . . . . . "Pfadbedingung"@de . .