Was bedeutet das Zeichen Tilde?