Royal Dutch Shell Oil / Gas / Power Netherlands (EU.NL) Maintenance of gas producing platforms on the North Sea.