tjenstgöri- gepenningar 300 kronor , samt för två vaktmästare hvardera 800 kr.