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