krieger version 3.10