Mynheer Benlevi stod mållös.