What's correct? 'End of history' or 'End of the history'?