Both are German names, following the same specific sense of naming. And looking around, Hrmpf seems to get inspirations from Grml, maybe even is a clone with different foundation?