Hi @Martin Fessler
The documentation you found is correct. The system partition must be configured as the active partition, must not be encrypted or used to store user files, and must have at least 250 MB of space. The EFI system partition is not the same as the system partition, and it is not used to store user files. It is used to store boot files and is required for UEFI-based systems, while the system partition is used to store the operating system files.
Hope the information is helpful.
Best Regards,
Hania Lian
============================================
If the Answer is helpful, please click "Accept Answer" and upvote it.