Hans Werner Henze: Pollicino