Anton Oscar Wilhelm Boy,