PS: vroeger heette die stad Budweis, toen het deels nog een Duits-Oostenrijkse stad was. 
( 215)