The Pinatubo eruption cloud observed by lidar at Garmisch-Partenkirchen