Just for confirmation: Machine is booting properly today so I guess we have the issue nailed. Just on a side note: I tried to pull the Wifi stick and reinsert it once the machine has fully booted. While it is recognized it loses all the credentials to my Wifi and I have to put in the Wifi PW each time anew. Is there a way to make sure the machine remembers it?