nya inrättningen skulle benämnas Holtermanska sjukhuset.