Hi Robert,ich wäre da strenger: falls nach dem Ende der Bibliothekszüge die gleiche Stellung auf dem Brett ist (und man es als Bediener auch bemerkt!!), würde ich die Partie bereits abbrechen und neu starten.

Viele Grüße,
Bernhard