The story of the king under the mountain german