On the redundancy of the Mumford relations Gute Reduktionen von zu Quaternionenalgebren assoziierten Shimuramannigfaltigkeiten. (Good reduction of Shimura varieties associated to quaternion algebras) 