^l r . Knudsen.