Wie müsste das bei dem Auflösungszeichen heißen?