Edinburgh, the great festival city !