I  checked the public key in question via blockchain.info - the BTC are definitely in there.  I opened the electrum.dat in a text editor and the same public key is in the file.  So, it SHOULD work.  Unless new versions of electrum don't like their old electrum.dat file?  That seems unlikely.  I'd expect it to be legacy .dat compatible...