uppgifves af [ 12724 .]