Yes, I can explain that. I am not a German, but I read German news and German journalists use "in Karlsruhe" as a shortcut for the Constitutional Court. So, in

Yes, I can explain that. I am not a German, but I read German news and German journalists use "in Karlsruhe" as a shortcut for the Constitutional Court. So, in my original post, I just wrote "a challenge in Karlsruhe". Before posting, I reviewed my comment and said to myself, hmm, people won't know what "in Karlsruhe" means, so I added the name of the Constitutional Court, but didn't think of removing the location. I suspect a similar process resulted in some fluff in our beloved RFCs :)