presidenterna Steen och Havig samt statsrevisorerna Hjorth och Jacobsen.