Comparison of Shiveluch's lava dome before and after the 1 Feb explosion, which left a large crater