The articles about them I read implied that they did name her after Himmler. Which would mean that, on top of everything else, they failed to correctly spell one of their heroes' names. I lost track of the number of fails in that family.