Video in TIB AV-Portal:
Colmez' conjecture in average