German machine tool production headed back to record levels