The following symbols are not recognized, although there is an entry in ``ger_symbols_tab'':
``*'' is spoken as ``mal'' instead of ``Stern'' and ``:'' as ``geteilt durch'' instead of ``Doppelpunkt'' (as in ``ger_symbols_tab'').
