C'était donc sept heures, plus quatorze quarts d'heure de repos ou trois heures et demie. En tout, dix heures et demie.
Dit bedroeg dus zeven uur, bovendien nog veertien kwart uur rust of drie en half uur.