Level-energy-dependent mean velocities of excited tungsten atoms sputtered by krypton-ion bombardment