Five new options on German mid caps, plus extended lifetimes for German stock options