Message in German (Deutsch)
Die Anmerkung <var>X</var> wurde bereits deklariert.
Unlocalized message
The notation '<var>X</var>' has already been declared.
Search by Google
Die Anmerkung <var>X</var> wurde bereits deklariert.

The notation '<var>X</var>' has already been declared.
Search by Google