Hallo Herbert,
die Dateien liefert das Update nicht mit.
Da muss bei dir was anderes passiert sein. Zumal das Update ja vom 17.12.2019. Deine Dateien sind aber am 19.10.2019 geändert worden und habe extra nochmal gerade den Update-Server gecheckt. Wir liefern keine der "...Pers..."-Dateien aus.
Grüße
Markus