20 denne » , k !.