Robert Havemann oder wie die DDR sich erledigte