The pamphlet is only available in Danish.

Be cautious, dig carefully and remember!

• Report all damage to gas pipelines to the Pipeline Information Office or the natural gas company that owns the pipelines.
•  Cordon off the area and call the natural gas company whose pipelines you have damaged.
• Call Energinet.dk or the responsible natural gas company and the fire brigade if the gas is on fire.