namnet förekom , mumlade kungen : Warholm!