Firefox 52 von 64Bit auf 32Bit Version wechseln, wie am elegantesten?