OpenSlides/openslides/core/main_menu.py