Treasure-hunting in Norway (3): The Vrengen Strait