12255 ] ( Allm.