Bis und mit Definition 3.2