Translate "Example: Mergesort on Lists (Redux)"