Informasi yang berkaitan dengan en/Tiefensee, Germany