https://aws.amazon.com/route53/domain-registration-agreement... states that they use gandi.net and domainbox.com as registrars, both support .at. So i guess they just forgot about it. Would welcome a better explanation though.