På de tyska börserna gjorde sig under den gångna veckan en rätt betydandereaiisationsInst