— Prejudikat för sjömän.