Stav dette: Heterotic anomaly cancellation in five dimensions