GERMAN MACHINE TOOLS