International news: electoral college to vote new head of state in May Federal Republic of West Germany