Gravar-mail: Vertical variation of ice particle size in convective cloud tops