Civil unrest in North Africa – Risks for natural gas supply?