Frobenius-Semisimplizität für Faltungsmorphismen