huset Maskeradredouter under åtskilliga benämningar.