Wir können es genauer eingrenzen: Meine Änderungen vom 22. Dezember sind noch drin, die vom 4. Januar (und neuer) noch nicht. Die Aktualisierung scheint bei denen also so eine Art Weihnachtsgeschenk zu sein. Auch schön!