[Gretl-users] note to German-speaking users about keyboard shortcuts