Городок Баумана - не город, населённым пунктом, насколько я знаю, никогда не был, более того, я сильно подозреваю, что это название появилось уже в составе Москвы. На картах начала 30-х он просто "рабочий городок", а примерно с 1935 территория в составе Москвы.