“The goblin miners” — the king’s house servants, having heard strange sounds for a few days now, chatted together about what could be the cause, when suddenly there came a great thundering rumble that shook the whole house.