7 äterwände konungen till Peterhoff.