Stern durch \cdot ersetzt