Komische Sternchen durch \cdot's ersetzt