¹⁸Artin schreibt

statt

^*.

@