Neutrino spectroscopy with KARMEN