Generation of 100 μJ pulses at 82.8 nm by frequency tripling of sub-picosecond KrF laser radiation