Diode-pumped amplification of 7-picosecond-pulses with repetition-rates up to 100 kHz and 22 W average output power | IEEE Conference Publication | IEEE Xplore