OpenSlides/openslides/agenda/main_menu.py