A representer theorem for deep neural networks - Michael Unser (2018)