Erkehertig Johan har lemnat Frankfurt.