(*Der zweite Teil von BrauchbarDick15dot9  *)