* durch \cdot ersetzt