Saint Nicolas, the grandfather of Santa Claus?