Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder einen alternativen Browser verwenden.
Vielen Dank - aber wie kann ich das daraus nun als .gz-Datei speichern? Bei mir klappt leider nur "exportieren", und dann macht er eine normale Text-Datei draus..... :/