Gendersternchen, Unterstrich, Doppelpunkt, oder was nun?