heter det bland annat :»