Oliko Antti kuitenkin kotoisin Tavinsalmen Maaninkavedeltä ja sukunimensä Haatainen vielä Savossa asuessa?