"grouping symbol" Deutsche bedeutung