krigsmanshuset , och dess inkomster hafva sedermera fördelats såsom pensioner åt dem ,som