Lie , I . Heiberg , G.