Baja used to have also a German name: Frankenstadt.
Баја, исто така, има и германско име: Франкенштадт.