I bought the Bosch from the dealer ( India), and the guy who rebuilt them for me said he could've gotten me Kraut ones for a few bucks less.
( $28 a pop). With a name like Buchenhagen, my rebuilder was not happy using the Indian ones. Nevertheless, they all shot fine.