Hypernuclear spectroscopy with K− at rest on 7Li, 9Be, 13C and 16O.