2018-02-08 Archiv

\critef{}.

After spending hours mixing up \cite{} and \ref{}, it would be smart not to spend even more hours programming a third command that automatically picks the right one. But it would be nice.