The nutcracker and the tiny mouse king