Now Hanukkah was taking place in Jerusalem. It was winter, 