English: Optimization stopped, reload page to resume.
Dutch: Optimalisatie gestopt, herlaad de pagina om opnieuw te proberen.