Effiziente Controller-Synthese für Konsumspiele mit mehreren Ressourcentypen