"2"^^ . . . . . . . . "Logical Framework-Ansatz"@de .