It's clear. Thanks for your prompt reply. Perhaps I will experiment with the wallet file on different OSes to see for myself.
Yes, you are absolutely right in noting that the wallet file that is created in electrum is not wallet.dat (i was wrong). Just checked that. But a new question arose: in what format is the electrum wallet created? In the type column, it is only indicated that this is a
file. No mention of format.