Korneliusen , Farsund , (v.