Stuart Devlin's 'schoolboy collection' of old Australian bronze pennies, George V (14); later Kangaroo reverse (25); and halfpenny; British old head penny; together with Isle of Man, Christopher Ironside's Manx cat crown, 1970 and 1971 decimal set; sundry other accumulated coinage, some silver (12), mostly fine (lot)