Remembering Carl Schmitt: July 11, 1888–April 7, 1985