Wieso macht man sowas? Der Sebastian fliegt doch auch nicht als Wastl in der Gegend rum.
Es gibt viele Leute die haben ihren altmodischen Namen (Rudi statt Rudolph zB) durch die "modernere" Schreibweise ersetzt.
Genau das trifft beim OP hier ja auch zu. Seine Freundin heisst im Pass Annkatrin, ein nicht mehr ganz so gebräuchlicher Name, und nennt sich deswegen Anna.
Jetzt hat er ein Ticket gekauft, und dort - wie er es halt hunderte Mal bei "nicht offiziellen" Sachen tut, Anna als ihren Vornamen eingetragen.
Wie MLang2 schon gesagt hat - 3 Zeichen dürfen laut IATA Regeln falsch sein, hier wäre man drüber. Es könnte - und meiner Vermutung nach wird es das auch, TK ist nicht die Regelbuch-Hansa - auf Kulanz durchgehen.
Ich würde DRINGEND vorschlagen, das ihr Online-CI macht. Mit etwas Glück wird der Name nie mit dem Pass 1:1 abgeglichen.