Hatsune Miku erscheint in japanischem Geschichtsbuch