"Im Prinzip das, was man erwarten konnte", Andreas König, RBB, zur Einigung im Tarifstreit des öffentlichen Dienstes