de spelade , dessa stortingsflertalets herrar , den 9:e juni 1880.