See [[http://jochen-kuepper.de]] for details.