nämnts generalstabsmajoren von Koch.