Как звали мышиного короля в рассказе гофмана щелкунчик и мышиный король? это имя состоит из 4-букв или из 5-букв

Королеву грызунов звали Мышильда, а короля, насколько помню то ли так и звали "Мышиный король", то ли Бобка