Über kaum ein Symbol wird sich – vor allem in den sozialen Medien – so heftig gezofft wie über Gendersternchen und -doppelpunkt. Sie sind…