Thank you @Falco. This was exactly what I need.
Thanks @Johani. I thought about your suggestion. Unfortunately, we have a huge amount of categories and the configuration in the settings would be large and not manageable. Therefore I wrote this theme.
I got it working right. After adding support for parent_categories and fixes some minor glitches, I will document it and “release it in a proper way”.