Opera House in the Film «Christine» (1958)

Does anyone know in which theatre the opera house scene in «Christine» was filmed? Or was it perhaps a purpose-built film set? It certainly looks like a real theatre. By the way, the opera the film’s protagonists are attending is Mozart’s «Don Giovanni».