Re: Ah, the UK gov
"IIRC even the current size of the UK bureaucracy far exceeds that of the EU administration.".
About 33.000 for the EU and +400.000 for the UK.
"Bureaucrats", often called civil servants. are mostly hired and some amount of knowledge is demanded, not quite so with politicians.
(take Raab who suddenly found out about the traffic across the channel)