In 1933 the four companies owned by CTR had how many employees