nicht angemeldet
Falls noch jemand dasselbe Problem haben sollte:
In der Tat hatte mein Firefox den MIME-Type application/download mit dem Dateityp txt verknüpft. Mit Hilfe des AddOns "Mimetype Editor" für den Firefox kann man die entsprechende Verknüpfung löschen, dann funktioniert es wieder.
(Der "Mimetype Editor" ist nicht zu Firefox 2.0.0.7 kompatibel, aber mit Hilfe eines weiteren AddOns, "Mr Tech Local Install", trotzdem installierbar.)