Source: https://money.stackexchange.com/questions/10277/what-happens-to-options-if-a-company-is-acquired-bought-out