Carl Wilhelm Adolf Wall,