former Alameda County