الدوري الألماني الشرقي 1987–88