Nur der Vollständigkeit halber da hier das gleiche Problem besteht.

AMS 2.0.4993
AAT 2.0.4838