Norway boosts security at oil installations after Nord Stream leaks