Tuxen ) , Eidvoldsmännen (typograf