Exakte und heuristische Optimierungsmethoden zur Lösung von Video Server Load Re-Balancing