Hi Gernot,
I downloaded the latest update,which I thought was 4.015,but when I installed it and went to info it said version 4.009.Is there a download I have missed?
From the IDE, select "web" and then "internet update" and then follow whatever instructions to download and install the 4.015 update ;)
Right 4.009 is the latest release. You can update to any higher versions from this one with the live-updates.