dennes framlades riksbudgeten af ministern Hofmann.