Comparison of opera productions in Prague and Dresden during 18th century (general statistics, impresarios, shared repertoire, main differences, main composers, dramaturgy)