How long was Gustav Heinemann officially the President of the Federal Republic of Germany?