Nach einer etwas längeren frustrierenden Fehlersuche hab ich jetzt den Stein des Anstoßes gefunden: Die quadratische Textur darf keineswegs 256x256 Pixel groß sein, sondern 255 x 255 Pixel ! (Natürlich werden sie dann auch auf ein 255 x 255 Polyon gemappt)
Ich weiß zwar nicht, wieso das so sein muss, aber jetzt sehen die Texturen wieder so gut aus wie im Original.
Revision: Die Texturen sehen zwar schön aus, aber mein alter Rechner mit Geforce2-GraKa will das nicht, weil er wohl doch nur 256 x 256 Pixel Texturen akzeptiert...
Revision Nr.2: Meine Verwirrung ist jetzt perfekt. Ich hab nochmal alles auf 256 x 256 Pixel Texturen umgestellt. Auf meinem alten Rechner läuft es und sieht perfekt aus, auf meinem neuen Rechner sieht es wieder total mies aus. Vermutlich ist es dann doch wohl eher ein Grafikkartentreiberproblem oder sowas ähnliches...
Revision Nr.3: Ich glaub, jetzt hab ich es endlich. Es handelt sich tatsächlich um eine Angelegenheit des Grafikkartentreibers. Ich hatte auf meinem neuen Rechner den NVidia-Treiber auf "Höchste Leistung" eingestellt, was ihn anscheinend dazu veranlaßt, die Texturen mit niedriger Qualität als möglich anzuzeigen. Nachdem ich die Einstellung auf "Qualiät" geändert habe, funktioniert die Texturanzeige reibungslos.