Hallo zusammen,
erstmal dankeschön an alle! Mein Kollege benutzt "web.de". Umbenennen der Datei hatte ich bereits versucht, allerdings leider erfolglos.
Naja, ist auch nicht so dramatisch. Dann werde ich ihn halt bitten, mir die Datei gezippt zu schicken, oder ich gebe ihm meinen USB-Stick mit.