Something weird happened now. In some mysterious way the btc I sent to Electrum got back to where I sent them from...  

I shall try to re-send them to my Electrum wallet again.