Denmark Reports Leak in Gas Pipeline in Baltic Sea