which government agency was formerly known as basel / baudepartement?
(AND government.government_agency (JOIN government.government_agency.predecessor_agency m.010ggdk5))