De Koninklijke Marine: Economische betekenis en structuur