Was ist eigentlich ein Benzinger?