Translate "Example: Mergesort on Lists"