Alexandrov meets Kirszbraun

We give a simplified proof of the generalized Kirszbraun theorem for Alexandrov spaces, which is due to Lang and Schroeder. We also discuss related questions, both solved and open.