Humor in der DDR