@@ -56,7 +56,10 @@
5656 \setotherlanguage[]{spanish}
5757 \setotherlanguage[]{french}
5858\else
59− \usepackage[shorthands=off,ngerman,british,nswissgerman,spanish,french,main=english]{babel}
59+ \usepackage[ngerman,british,nswissgerman,spanish,french,main=english]{babel}
60+% get rid of language-specific shorthands (see #6817):
61+\let\LanguageShortHands\languageshorthands
62+\def\languageshorthands#1{}
6063 \newcommand{\textgerman}[2][]{\foreignlanguage{ngerman}{#2}}
6164 \newenvironment{german}[2][]{\begin{otherlanguage}{ngerman}}{\end{otherlanguage}}
6265 \newcommand{\textenglish}[2][]{\foreignlanguage{british}{#2}}