( nu 1 kr,