Oljedirektoratet blir Sokkeldirektoratet og Petroleumstilsynet blir Havindustritilsynet. – Navnebyttene tydeliggjør hvem som skal ha ansvaret for de nye fremvoksende industriene…