Hallo! Vielen Dank an Alle, besonders an Christoph Schulz! Das Problem hat sich erledigt. Ich habe nach einem Hinweis von Matthias Prager mal die x86_64-Variante probiert und nun läuft die Sache. Juhuu! Grüße, Franz