IMPRS-seminar on K-theory