vestibulen , hvilken förut äfven tjenat som ingång till operakällaren , på ettprydligt