umlaute.zip  converts "ae", etc. in texts to proper German umlauts