html encoding of danish letter.