A Biography of Johann Haider on Occasion of his 100th Birthday