"reference manual" Deutsche bedeutung