Den kejserliga ukasen af den 17 april,