@book{43711,
	title = {German university lecture notes,}
}