4 ; de Roten.