W%C3%BCrzburg radar#Post-war use in astronomy