Oh, I did not know about that 80% limit, there is also no hint in the documentation. But it all makes sense now. After rebooting the full 32 GB are available and it gets shrunken down to about 14 GB. At that point the host has exactly 80 % RAM free.
How can I influence this? The server has...