Thanks for your replies. However, about 2), I want to make sure I have a universal backup which can be imported into any bitcoin wallet, in the remote case Electrum disappeared or a new version did no longer support the seed I have. While the seed is a powerful tool, we need to remember it's tied to Electrum, which is only one of the countless wallets around.
You could use
pybitcointools to extract the private key (electrum_privkey).
The private key is BIP32 compatible and thus much more universal than the Electrum seed.
You can test this on
http://bip32.org/ (don't do this with your main seed, instead create a new one just for testing)