On Wednesday, 14 February 2018 at 11:16:25 UTC, Martin Tschierschke wrote: > Ok, good to know! > I started with 16.04 and made the initial mistake to take the > 32 Bit version, > do you use 32 or 64 Bit? 64bit of course! Andrea