marinen ( Naval Stores ).