Amsterdam Ferdinand Bolstraat, opera house, (not performed)