äterwände konungen till Peterhoff.