Jobcenter-Algorithmus landet vor Höchstgericht