Jump up ^ The ARRS notes that Pede set the first German mark .
Boers set the first Dutch mark in the women 's marathon .
Jump up ^ The ARRS notes that Pede set the first German mark and Boers set the first Dutch mark in the women 's marathon .