hade visserligen också varit omkring 9,000 rdr större,