Wie macht man das Ø Zeichen?