„12 239 , 240 .)