Looks like the code got pasted into an editor that wasn't too interested in keeping that character encoding.

A work in progress!