Tunnelling in carbonic acid