Libretton i , Hoffmanns sagor * är ickemindre