12 : 13 1 / 2 ; k. s. 12 : 15 5 / 4 , Amsterdam 3 sm.