* ) Ett slags diminutiv af namnet Grahl , hvarmed han af intimare vänner benämnes.