Excimer ArF laser with an output energy of 0.5 J and He buffer gas