Theodor Bull — Norwegian businessman and genealogist