Portugal. Theatres. see also
JTHEATER-—PORTUGAL.