If the default_wallet does not exist, Electrum offers only setting up a new wallet instead offering an file open button for existing wallets with an another name.

The missing button is not a big deal. I could rename the wallet to "default_wallet" or create a new wallet and open the other afterwards via file - open. It's just a bit more comfortable if I have my default wallet, but gave another file name to it.

Thanks in advance.