minor changes to "Glossar"