A method for ordering input variables in binary decision diagrams is described. The device includes a runner, locking device, control support, control rod, and torsion spring. In this way, the vehicle cabin may be maintained at a temperature that provides enhanced driver comfort while allowing wasteful engine idling to be reduced. The calculator calculates a weight depending a distance from the position indicated by first position information to a pixel of the first frame, for each pixel of the first frame. The catalyst is resistant to deactivation and maintains activity between runs. The output data of the second output equation is assigned as content of an output cell of the spreadsheet.