De tyska börserna började naturligtvis,