Spectroscopy with trapped highly charged ions