justitieråden Hammarskiöld och Annerstedt samt generaldirektörerna Anderson och Krusenstjerna.