Aus 5250 5.250 machen