Germany’s energy mix