OpenSlides/openslides/motion/main_menu.py