( waktbetjening ock ) de » ';