Wie wird Österreich abgekürzt?