TOTAL MARINE DANMARK, FILIAL AF TOTAL OIL AND GAS NEDERLAND B.V., HOLLAND