Fehlende Regel in 40000015, Duplikat 40000011 entf