Some fundamental results on K0 of exact and Abelian cate- gories – with applications to orders and grouprings