German public funding for deep-sea mining related research projects since 2015 (interactive)