Debian 7 Wheezy x64 und 32bit (ia32-libs)