Informasjonen om registrerte krigsseilere er ikke nødvendigvis fullstendig. Eksempelvis vil mønstringer og utmerkelser for enkelte sjøfolk bli registrert senere, ettersom nye kilder blir gjennomgått.
Født
9. februar 1917
Død
1999
Foreldre
Theodor Karlmann Thomassen, Johanne Marie Thomassen f. Jensen, Homborsund, Grimstad