Verzicht auf Gendersternchen und Doppelpunkt; Antrag der FDP-Fraktion vom 05.06.2023