流通股的KONGSBERG GRUPPEN ASA NOK1.25。