Антон, немец Антон, немец иностранный врач, при Иване III казненный. {Половцов} Большая биографическая энциклопедия