reinserted the import of openslides.main