Translation of "Palm sander" in German