Der Wasserträger, Theaterbau des Königlichen Nationaltheaters (Berlin), 3.7.1802