Thank you again.
Great link and great news, too. Given that I will need precisely that 10k of extra margin only two or three times per week, and only on an intraday basis, all I have to fear is getting charged about 50 euros per year (52 weeks in a year, and getting charged fifty cents twice...