Anslaget till Bergens teater var föremål för en rätt lång debatt i stortinget.