¹⁷¹N. Artin steht für Artins Ehefrau, Natascha Artin.