beslöts , att den nya inrättningen skulle benämnas Holtermanska sjukhuset.