Translate "Example: Merge-Sort on Linear Lists"