Multivariate trace inequalities - Marius Lemm