Vladislav Hall, Old Royal Palace, Prague Castle