I'm the OP.
To clarify: when the microSD card is formatted and used as internal storage, only it's capacity will be shown in various file managers (from google play store) and on a Windows running PC, but not the free ~54 GB of the real internal memory.
If no one knows a fix, I'd at least want...