Thanks, ktb. Unfortunately, I found out what happened.
And let this be a warning to anyone using their internal memory for any purposes BEFORE installing an external micro SD card!
If you have to format your external card, the phone will also format its internal memory(!).