Lie , J . Heiberg,