ww2 german trench knife