Mineral oil for pneumatic tools (pneumatic shock engines, line lubricators or pulverisers for hammer drills)