German troops involved in NATO’s mission in Kosovo to quadruple