Ehrenstrahl , ; 9,