Typo korrigiert; xRightarrow benutzt