Offentlige institusjoner - til eller fra Oslo-området?

Skal ledelsen for teknisk drift av Den Kongelige Norske Marine flyttes fra Bergen til Oslo?