Problem gelöst. Hatte sich doch, warum auch immer, die FF 64 Bit ins System geschlichen. Mit der 32 Bit-Version alles ok.