Familie: Karl Andreas Iversen Hatlehol / Ingrid Olive Lorentse Jakobsdatter Johansen (F13588)
g. 1928Iver Martinus Hansen Krogsæter (1858-1939) 
|
Petrine Johanne Martinusdatter Helle (1865-1950)
|
| Karl Andreas Iversen Hatlehol (1904-1990)
|
| Ingrid Olive Lorentse Jakobsdatter Johansen (1906-1991) |
Jostein Magnar Hatlehol (1931-2023)  |