I just adapted your comments into the paragraph starting with "German". Hopefully accurately.