Radio Prague International feiert seinen 85. Geburtstag.