Danke für deine Antwort.
Wie funktioniert das mit der Verifizierung? Ich benutze den Decoder mit dem gelben Schlüsselsymbol. Ist das der, den du auch benutzt? Ich weiß nämlich, dass es noch einen anderen gibt.
Edit.: So, jetzt läuft gerade die Dekodierung mit dem Easy OTR Decoder. Das ist wohl auch der Decoder von der Website. Ich frage mich gerade, wo ich den anderen, mit dem Schlüsselsymbol, her habe?
Naja, hoffentlich lag es daran und klappt nun :-)