en fickknif ; Berndes ( R.