"repeat mark" Deutsche bedeutung