Investigations of Process Mining Methods to discover Process Models on a Large Public Administration Software.