Då Tysklands högsta domstol,