■ marin-ministéren .... 13 , 000.