nya inrättningen skulle benämnas Holtermanslen sjukhuset.