LUBRICATING OILS AND GREASES MADE FROM CRUDE PETROLEUM OR FROM CRUDE-PETROLEUM PRODUCTS AND OTHER MINERAL, VEGETABLE, AND ANIMAL PRODUCTS