RobertJasiek: Are you sure that Herman discovered it first? Maybe it had been John Tromp. Until you verify that not, the page title is inappropriate, although rediscovering such a cycle is a remarkable feat.
ThorAvaTahr: Haha, ok, let's keep it an alias then ;), as you said it is still a remarkable feat ;)