Wir haben das Problem gefunden!
In den Grafikeigenschaften lässt sich ja die DPI-Größe einstellen (Normal 96dpi / Groß 120dpi). Mein Kollege hat diese Einstellung wohl auf groß geändert und das wirkt sich offensichtlich auch auf die Schriftgröße in den Kacheln aus. Naxh Änderung muss der PC allerdings neu gebootet werden.
Gruß
Remko