The effect of vigorous physical activity at work on serum lipids with a special reference to serum high‐density lipoprotein cholesterol | Synapse