KRAFT-Konfiguration mit einem Controller und drei Brokern