After World War II, two new competing formats came onto the market and gradually replaced the standard "78": the 33 1⁄3 rpm (often just referred to as the 33 rpm), and the 45 rpm (see above). Who developed the 33 1/3 rpm LP?