Ja, Stoffel is afgeleid van Christophorus. In feite is dit niet verlatijnst, maar de R.K. doopnaam was Christophorus en de roepnaam was Stoffel.
U kunt nu verder met de vader van Antonius die naar je mag aannemen Christophorus heette. Er bestaat ook nog de mogelijkheid dat dit al een zgn. bestaande familienaam was.