"König Joko"? Es ... es tut mir leid, diesen Namen habe ich noch nie gehört.