德国天眼望远镜叫什么名字来