pr maj 803 / « , pr juli 817a , pr eept , 827s.