l ) et norske Dykkercompagni.