DKRZ's Mistral User's Manual