maybe I'm making this issue more complex that it actually is...
Yes, I think you are. UK microlight pilots fly to Germany without investing in a Jeppersen trip kit, as the prefer to spend the money in a beer garden.
You don't need to even look at the Luxembourg AIP, as you will not be landing and they will tell you anything you need to know when you contact them to cross the border.