Was bedeutet das Korrekturzeichen?