Herold Kraus als „Mastro Trabuco“ in „La forza del destino“