Welche Zeichen in HTML notiert werden dürfen, und wie internationale Zeichen umschrieben werden können.