Friedrich Hirzebruch †