“The fundamental group of the torus is abelian” – ein Video-Beweis