Felsenkeller underground accelerator, ceremonial start of operation on 4 July 2019