Skæreolie, d.s.s. boreolie.