is the Zeiss erector system still made in Germany?