Definitions

[1] n. Disco Corporation, japanisches Unternehmen in 1937 gegründet mit internationalen Zweigstellen (in den USA, China, Frankreich, Deutschland, Malaysien, Marokko, Singapur, Thailand und GB), weltgrößter Hersteller von Schneide- und Poliergeräte