Hofborgens cerenionifal och teater.