Minttu, Antti ja joulupukki