» 18 ; 18 , rjksbankskurs.