Aha. Danke. Habe jetzt mal ein wenig gegoogelt. Offenbar ist es so, dass der Dateiname mit der Tilde …
… der Dateiname ist, der im FAT gespeichert ist. Der Langname hingegen wird in der Datei selbst gespeichert. Jetzt stellt sich die Frage, was ist die Ursache dafür, dass das System manchmal nicht auf den in der Datei gespeicherten Langnamen, sondern auf den Kurznamen im FAT zugreift? Und wie verhindert man das?