hvarken hört eller sett ett dugg af «den stora hafsormen« , ej helleraf