#!/bin/sh
# convert some special characters to HTML
sed -e 's/°/\°/g
 s/ -- / \— /g
 s/à/\à/g
 s/ä/\ä/g
 s/ö/\ö/g
 s/ü/\ü/g
 s/Ä/\Ä/g
 s/Ö/\Ö/g
 s/Ü/\Ü/g
 s/ß/\ß/g
 s/§/\§/g' | tr -c '
 -~' :
# finish with translation of all remaining special chars (except newline) to :