What do you use for UK to Germany trains when @thetrainline isn’t working? It’s €100 more on bahn.de :(