Hoeveel geld is er door Europa geïnvesteerd in windmolens op zee tijdens het eerste half jaar van 2017?