They should register bitch.at, it seems to be available.
not sure about .at but DACH countries tend to require KYC everything and a bunch of bureaucracy if you offer encryption as a service
not sure about .at but DACH countries tend to require KYC everything and a bunch of bureaucracy if you offer encryption as a service