Das 2015.10 ist nicht das Datum der Aktualisierung, sondern wohl eher sowas wie eine Serienbezeichnung. Das Datum der letzten Aktualisierung ist der 11.05.2018.
Ich hab hier aus der 2012.03 Serie alleine fünf verschiedene Dateien von 2015-2017. Alle unterschiedlich groß.
Natürlich immer unter der Voraussetzung, daß das die Schreibweise des aktualisierungs Datum dem der normalen Karten entspricht.
Obwohl, auch bei den Karten gibt es ja Aktualisierungen, ohne daß der Name sich ändert. Ich hab hier z. B. eine "Deutschland 2019.Q2" vom 12.12.2019. Sie stimmt auch in der Größe nicht mit den anderen überein. Auch nicht mit der Q4.