Njemački Tokheim Holding preuzeo zagrebačku tvrtku Sitim