timmer ; Pollux , Gundersen.