Ik denk dat Beligje de puzzel heeft opgelost; die kans is m.i. wel heel groot:
1) De achternaam Koning klopt (doop 1716 Geertje)
2) Doop twee zussen: Maria (1710, Makkum) en Geertje (1716, Amsterdam)
3) Moeder Hilligje / Hilletje / Hittie [= Hiltje denk ik] Sickes Holst (trouwen 1708, doop 1716); vernoeming dochter Hilletje Dalmeijer 1738; vernoeming Sicke 1714.
We zoeken dus nu een broer Marten Sickes Holst of een schoonbroer (zwager) Marten gehuwd met een meisje Sickes Holst, liefst met dochter Aagje.
Deze?
Doop Cornelis d.d. 25-10-1724
Vader: Gerrit Cornelisz, schatting geboren 1690, de - aangetrouwde! - oom van 1730, oom = ~40 jaar, nichtje 22, dat past vermoedelijk wel.
Moeder: Lijsbeth [Sickes?] Holst, de zus van Hilletje Sickes Holst, zij dan weer de moeder van Maria en Geertje.
Getuigen: Marten Buijs; Pieternelletje [Sickes?] Holst
Als deze hypothese klopt, dan zijn Marten Buijs en Pieternelletje Sickes Holst een setje met een dochter Aagje. Nog geen geluk in het bewijzen daarvan; de dames Holst hebben misschien dan wel een broer Jean.
=> Maar ik denk dat ik wél 'beet' heb! Huwelijk / ondertrouw d.d. 10-03-1713 van Willem Garritse en Pieternella Holst (van Makkum!):

Sicke Holst uit Makkum bestaat wel:
Doop Piter 1682
Doop Berber 1684
Doop Jacamijna 1689
Doop Jacomina 1695
Vreemd genoeg weer geen Pieternella, Lijsbeth of Hilletje. Toch denk ik dat deze hypothese wél klopt, want in 1713 trouwen te Makkum Gerke Cornelis en Lijsbeth Sickes Holst.