dutch translation grinder pump