Schlagwort: Zusammenarbeit von Problemlöser- und Verifizierer-Agenten