» 9,54 Riddersvik * ).