Подскажите, пожалуйста: как в Германии и Австрии пишется имя Антон? И какие варианты этого имени бывают?