> Wenn dann demnächst noch die GRF-Infos im Save sind (oder sind sie schon?), perfekt!

Ja, ich glaube schon. Da ich aber kaum spiele müsste ich das erst nachsehen. Auf jeden Fall lassen sich die IDs der jeweils benutzten Grafiksets schon seit längerer Zeit aus Screenshots auslesen. Oskar hat dafür ein Programm auf seiner Seite. Und seit einiger Zeit gibt es auch eine Schaltfäche "grf debug" unter "Einstellungen" die eine komplette Liste der aktiven und nicht-aktiven .grfs als Textdatei ausgibt.

Gruß
Michael