krigs , marin , handels- m . fl.