I guessed 12-14 hours...
It took me 12 hours from Dallas to Frankfurt...