Paper Machinery Corporation: Becomes employee-owned company