ett namn som i allmänhet förkortades till Robin.