heating under diminished pressure; heating under reduced pressure