Prague, Czech Republic: West end of the Prague Castle